Description et formalisation mathématique

Physique Théorique et Mathématique,

With a view towards applications for de Sitter, we construct the multi-parametric qdeformation of the so(5,C) algebra using the Faddeev-Reshetikhin-Takhtadzhyan(FRT) formalism. [email protected] [email protected]

Logique mathématique et linguistique formelle

Présentation mise à disposition dans l'attente de la parution du volume aux éditions Cassini

Simulation moléculaire et effets d'environnement - Une perspective mathématique et numérique

Formalisation sémantique et vérification de structures composites

Ce rapport introduit les structures composites dans le contexte du profile OMEGA UML pour représenter la structure hiérarchique des systèmes complexes, comme les systèmes temps-réel embarqués. Comme la norme UML est sous-spécifiée pour préserver la généralité du langage, on se propose de définir un ensemble expressif de notions et de r` egles pour la bonne modélisation et cohérence de structure...

Physique Théorique et Mathématique, Statistical and Plasma Physics C.P. 231,

D-branes are classified by twisted K-theory. Yet twisted K-theory is often hard to calculate. We argue that, in the case of a compactification on a simply-connected six manifold, twisted K-theory is isomorphic to a much simpler object, twisted homology. Unlike K-theory, homology can be twisted by a class of any degree and so it classifies not only D-branes but also M-branes. Twisted homology cl...